Computer algebra systems - PDFSEARCH.IO - Document Search Engine

Computer algebra systems
Results: 620

#	Item
541	The Mathematica to C++ or Fortran90 Code Translator “MathCode is a useful addition to Mathematica. In particular for those who want to deploy Mathematica developed algorithms as Add to Reading List Source URL: www.wolfram.com Language: English - Date: 2004-12-30 12:42:02 Array programming languages Cross-platform software Computer algebra systems Procedural programming languages Mathematica Fortran C Array programming FORM Mathematical software Computing Software
542	REDUCE: The First Forty Years∗ Anthony C. Hearn Santa Monica, California, USA Abstract Volker Weispfenning and his group in Passau have had a long interest in computer algebra. In this Add to Reading List Source URL: reduce-algebra.com Language: English - Date: 2008-12-30 11:26:20 Lisp programming language Functional languages Computer algebra systems Lisp Reduce Genera Franz Lisp Common Lisp Computing Computer programming Software engineering
543	A Logic-Based Framework for Reactive Systems Robert Kowalski and Fariba Sadri Department of Computing Imperial College London {rak,[removed]} Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2012-06-12 08:05:15 Model theory Formal languages Semantics Logic in computer science Programming language semantics Operational semantics Interpretation Term algebra First-order logic Logic Mathematical logic Mathematics
544	PDF Document Add to Reading List Source URL: www.esc19.net Language: English - Date: 2014-03-11 13:19:08 Programmable calculators TI-Nspire series TI-84 Plus series Texas Essential Knowledge and Skills State of Texas Assessments of Academic Readiness Technology Computing Graphing calculators Education in Texas Computer algebra systems
545	Amsterdam Optimization Modeling Group LLC Modeling with Excel+OML, a practical guide This document describes the use of Microsoft’s OML language to specify Mathematical Add to Reading List Source URL: amsterdamoptimization.com Language: English - Date: 2009-10-16 16:53:37 Applied mathematics Computer algebra systems Mathematical software Mathematical modeling Linear programming AMPL Quadratic programming Mathematical model General Algebraic Modeling System Operations research Mathematics Mathematical optimization
546	Advanced Tutorial on Sage Paul Zimmermann August 22, EuroSciPy 2013 Add to Reading List Source URL: www.loria.fr Language: English - Date: 2013-08-21 15:22:30 Cross-platform software Functional languages Mathematical software Sage Magma computer algebra system Maxima MuPAD GNU TeXmacs GiNaC Software Computer algebra systems Discontinued software
547	Modelling Tools \| Solver Systems \| News Analytics \| Training \| Software Development \| Optimisation \| Risk Management Help businesses capture value through optimisation and risk management solutions Add to Reading List Source URL: www.optirisk-systems.com Language: English - Date: 2010-02-08 07:43:00 Applied mathematics Numerical software Mathematical optimization Computer algebra systems AMPL FortMP Sol MOSEK Gurobi Operations research Numerical analysis Mathematical software
548	System for the Analysis of Global Energy Markets[removed]Volume 1 Add to Reading List Source URL: www.globaloilwatch.com Language: English - Date: 2013-08-27 11:48:03 Energy economics Computer algebra systems Operations research General Algebraic Modeling System Sage Energy development Modeling language Economic model Energy Information Administration Science Mathematical software Technology
549	AMPLDev is an Integrated Development Environment (IDE); in essence it is a graphical interface for AMPL and SAMPL. AMPLDev is based on the popular Eclipse development platform and is available in two versions: a stand-al Add to Reading List Source URL: www.optirisk-systems.com Language: English - Date: 2013-12-09 09:00:28 Computing Numerical software Computer algebra systems Computer file formats AMPL Nl Sol Gurobi IPOPT Mathematical optimization Numerical analysis Operations research
550	Gearing Up for Teachers “H No teacher left uninspired. Add to Reading List Source URL: www.arrl.org Language: English - Date: 2009-12-23 13:11:17 Teacher TI Programmable calculators Technology Mathematics Learning Graphing calculators Computer algebra systems TI-Nspire series

UPDATE